Square root modulo p